(define (problem BW-r1-p2-b1)
(:domain blocksworld)

(:objects
    r1 - robot
    ps p1 p2 pg - location
    b1 - block
)

(:init
    (robot-at r1 ps)
    (hand-empty r1)
    (unknown (block-at b1 p1))
    (unknown (block-at b1 p2))
    (oneof 
        (block-at b1 p1)
        (block-at b1 p2)
    )
)
(:goal
    (and
        (block-at b1 pg)
    )
)
)


